An Annotated Discrete Event Simulation Bibliography

1. Abrams, M., E. H. Page, and R. E. Nance, 1991, “Simulation program development by stepwise refinement in UNITY,” Proceedings of the 23rd conference on Winter simulation, Dec-91 Abrams, Page and Nance (1991) describe a UNITY-based methodology for the construction, analysis and execution of simulation models. Their methodology (based on work by Chandy and Misra) starts with a simulation model specification in the form of a set of coupled state transition systems and moves on through validation. The program is aimed for high level PDES applications. The system uses six (6) steps: I. Generate a communicative model in the form of a coupled state transition system (CSTS), II. The automated generation of a UNITY program from the CSTS. III. Automated generation of UNITY assertions from the CSTS IV. A time flow mechanism is superposed on the UNITY program V. Map the program resulting from step four to a target computer architecture. VI. Maps the program resulting from step five to a simulation protocol for sequential or parallel execution. This system had more relavance15 years ago, when there was less commonality in operating systems, and specific computer architecture was more critical.